#include <stdio.h>

int
main(int argc, const char *argv[])
{
     FILE *fin = fopen(argv[1], "r"), *fou = fopen(argv[2], "w");
     unsigned char c;
	 int i, f = 0;
	 char addr[256], name[256];

     fprintf(fou, ".data\n");
     
     while(1)
     {
		  fscanf(fin, "%s %c %s", addr, c, name);
		  fprintf(fou, ".globl %s\n", name);
		  fprintf(fou, ".set %s %s\n", addr, name);
     }

     fclose(fin); fclose(fou);
     return 0;
	  
}
